COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1987 Jan 9
C00007 ENDMK
C⊗;
1987 Jan 9

104878   DEDUCTION AND COMPUTATION.
         G. Huet.
         [Institut National de Recherche en Informatique et en Automatique
         (INRIA). Rapport de recherche 513. 1986.]

104892   THE CALCULUS OF CONSTRUCTIONS.
         T. Coquand and G. Huet.
         [Institut National de Recherche en Informatique et en Automatique
         (INRIA). Rapport de recherche 530. 1986.]

104908   A FRAMEWORK FOR A THEORY OF REPRESENTATIONS.
         W. Zadrozny.
         [International Business Machines Corporation (IBM). Research
         Division. Research report RC 11778. 1986.]

104909   EXPLICIT AND IMPLICIT BELIEFS.
         W. Zadrozny.
         [International Business Machines Corporation (IBM). Research
         Division. Research report RC 11786. 1986. Preliminary edition: June
         27, 1986.]

104917   DO WE REALLY KNOW WHAT KNOWLEDGE IS?
         V. Nguyen and K. J. Perry.
         [International Business Machines Corporation (IBM). Research
         Division. Research report RC 11830. 1986.]

104924   PROBLEM SOLVING.
         S. Amarel.
         [Rutgers. Department of Computer Science. DCS-TR-188. 1986. Article
         for "Encyclopedia of Artificial Intelligence."]

104965   REPRESENTING DE RE AND DE DICTO BELIEF REPORTS IN DISCOURSE AND
         NARRATIVE.
         J. M. Wiebe and W. J. Rapaport.
         [State University of New York, Buffalo. Department of Computer
         Science. Technical report 86-14. 1986.]

104986   FACTORING INTEGERS WITH ELLIPTIC CURVES.
         H. W. Lenstra Jr..
         [University of Amsterdam. Department of Mathmatics. Report no. 86-18.
         1986.]

105043   A VIEW OF AUTOMATED PROOF CHECKING AND PROVING.
         C. Lengauer.
         [University of Texas, Austin. Department of Computer Sciences.
         TR-86-16. 1986.]

105069   THE HOMOGENEOUS FORM OF LOGIC PROGRAMS WITH EQUALITY.
         W. Demopoulos.
         [University of Western Ontario. Centre for Cognitive Science.
         Cognitive science memorandum (COGMEM) 25. 1986.]

105074   A PROTOTYPE EXPERT SYSTEM FOR CREDIT EVALUATION.
         A. Ben-David and L. Sterling.
         [Weizmann Institute of Science. Department of Applied Mathematics.
         CS85-08. 1985.]

105083   A REALLY ABSTRACT CONCURRENT MODEL AND ITS TEMPORAL LOGIC.
         H. Barringer, R. Kuiper, and A. Pnueli.
         [Weizmann Institute of Science. Department of Applied Mathematics.
         CS85-17. 1985.]

105109   FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION.
         G. Huet.
         [1986. "This document is the first edition of the notes for a
         graduate-level course given in the Computer Science Department of
         Carnegie-Mellon University during the Spring 1986." No issuing agency
         indicated (author's address: INRIA, Domaine de Voluceau,
         78150-Rocquencourt, France).]